strong lax monoidal functor